(install): Use INSTALL_STRIP with INSTALL_PROGRAM for the utilities.

diff --git a/lib-src/Makefile.in b/lib-src/Makefile.in
index b8cf1fac2cacaf686912236426d168c6ee6ad5bf..24730fb42fe9649302403de58ff5f3af77d07c4c 100644 (file)
--- a/lib-src/Makefile.in
+++ b/lib-src/Makefile.in
@@ -284,7 +284,7 @@ install: ${archlibdir}
        @echo
        @echo "Installing utilities for users to run."
        for file in ${INSTALLABLES} ; do \
-         $(INSTALL_PROGRAM) $${file} ${bindir}/$${file} ; \
+         $(INSTALL_PROGRAM) $(INSTALL_STRIP) $${file} ${bindir}/$${file} ; \
          chmod a+rx ${bindir}/$${file}; \
        done
        for file in ${INSTALLABLE_SCRIPTS} ; do \